workspace: reposition windows on workspace resize

initial window position was broken (part of close button was clipped)
https://bugzilla.gnome.org/show_bug.cgi?id=651012

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 9c1acd16b267ae4de2bb2481b2ae2dc7631c5261..c734f6f1178592b4ae75c622caec76683bab05a2 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -633,6 +633,7 @@ Workspace.prototype = {
             function () {
                 this._dropRect.set_position(x, y);
                 this._dropRect.set_size(width, height);
+                this.positionWindows(WindowPositionFlags.ANIMATE);
                 return false;
             }));